Rsat 1.03: SAT Solver Description

Rsat is a DPLL–based solver that inherits many of the effective techniques introduced by MiniSat [3, 4] and Zchaff [6]. Rsat employs three improvements that have proven quite effective empirically. First, it employs techniques for reducing the time spent on Boolean constraint propagation. Next, it introduces a new technique that enables the solver to better focus on subproblems. Finally, Rsat employs an improved phase selection technique that has been designed to prevent the solver from repeating work it has already done upon backtracking.